1. Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings
Author: Leonardo de Moura )ed.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Automatic theorem proving Congresses,، Logic, Symbolic and mathematical Congresses
Classification :
QA
76
.
9
.
A96
2017
